Strictly positive and strongly positive semigroups
نویسندگان
چکیده
منابع مشابه
Constructing Strictly Positive Families
In order to represent, compute and reason with advanced data types one must go beyond the traditional treatment of data types as being inductive types and, instead, consider them as inductive families. Strictly positive types (SPTs) form a grammar for defining inductive types and, consequently, a fundamental question in the the theory of inductive families is what constitutes a corresponding gr...
متن کاملConstructing Strictly Positive Types
We introduce container functors as a representation of data types providing a new conceptual analysis of data structures and polymorphic functions. Our development exploits Type Theory as a convenient way to define constructions within locally cartesian closed categories. We show that container morphisms can be full and faithfully interpreted as polymorphic functions (i.e. natural transformatio...
متن کاملStrictly Hermitian Positive Definite Functions
Let H be any complex inner product space with inner product < ·, · >. We say that f : | C → | C is Hermitian positive definite on H if the matrix ( f(< z,z >) )n r,s=1 (∗) is Hermitian positive definite for all choice of z, . . . ,z in H, all n. It is strictly Hermitian positive definite if the matrix (∗) is also non-singular for any choice of distinct z, . . . ,z in H. In this article we prove...
متن کاملPositive Perturbations of Dual and Integrated Semigroups
Positive perturbations of generators of locally Lipschitz continuous increasing integrated semigroups on an abstract L space are again generators of locally Lipschitz continuous increasing integrated semigroups. Positive perturbations of generators of positive dual semigroups on a dual abstract L space are generators of semigroups that are weakly∗ right continuous. These results are reformulate...
متن کاملEstimation for Strictly Positive Stable Laws
Positive stable laws have become a standard tool in modelling heavy tailed data in such diverse areas as finance, engineering and survival analysis. Due to the non–existence of closed–form expression for the corresponding densities, standard procedures for estimation of the parameters of positive stable distributions appear to be computationally expensive. In this note we show that the first tw...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics
سال: 1983
ISSN: 0263-6115
DOI: 10.1017/s144678870001973x